old-fashioned form of cuando - German English Dictionary